(set-logic ALL)
(set-info :status unsat)
(declare-fun a () Int)
(declare-fun b () Bool)
(declare-fun c () Int)
(assert (< a 0))
(assert (< 0 c))
(assert (= a (- (ite (not (= 0 (+ 1 (ite b c 0)))) 1 0) 1)))
(check-sat)
